package ast;

public class PrefixedProcess extends Process {

	private Binder b;
	private Process process;
	
	public PrefixedProcess(Binder bd, Process proc)
	{
		b = bd;
		process = proc;
	}
	
	public Binder getBinder()
	{
		return b;
	}
	
	public Process getProcess()
	{
		return process;
	}
	
	public void setProcess(Process p)
	{
		process = p;
	}
	
	public String toString(int indent)
	{
		String res = b + "." + process.toString(0);
		return res;
	}
}
